1. Categorical methods in computer science: with aspects from topology
پدیدآورنده: / H. Ehrig ... [et al.], eds
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Computer science- Congresses,Categories (Mathematics)- Congresses,Topology- Congresses
رده :
QA75
.
5
.
C36
1989
2. Categorical methods in computer science : with aspects from topology
پدیدآورنده: H. Ehrig...]et al.[, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Categories )Mathematics(,Congresses ، Topology
رده :
QA
76
.
L28
Vol
.
393
3. Categorical methods in computer science : with aspects from topology
پدیدآورنده: / H. Ehrig ... (et al.), eds
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Computer science - Congresses,Categories (Mathematics) - Congresses,Topology - Congresses
رده :
QA
75
.
5C36
1989
4. Graph-grammars and their application to computer science :
پدیدآورنده: H. Ehrig ... [et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Electronic data processing-- Congresses.,Graph grammars-- Congresses.
رده :
QA267
.
3
.
G68
1987
5. Graph-grammars and their application to computer science : 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986: Proceedings
پدیدآورنده: H. Ehrig...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Graph grammars,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
291
6. Recent trends in data type specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings 1990
پدیدآورنده: H. Ehrig ... ]et al.[, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
534
